Meta-Modelling for Formal Software Development

Formal Software Engineering for Computational Modelling

Formal modelling, knowledge representation and reasoning for design and development of user-centric pervasive software: a meta-review

Increasing demand for large scale and highly complex systems and applications, particularly with the emergence of pervasive computing and the impact of adaptive systems, introduces significant challenges for software development, as well as for user-machine interaction. Therefore, a perspective shift on software development and user-machine interaction is required. An amalgamation of model driv...

Formal Specification of Object-Oriented Meta-modelling

Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. Therefore meta-modelling, i.e....

Formal Software Development in MAYA

The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors causing the change of parts of the specification. Also adding new functionality will result in changes of the specification which always endangers the verification work already done. In this paper we describe the system Maya whi...

AI meets Formal Software Development

This report documents the program and the outcomes of Dagstuhl Seminar 12271 “AI meets Formal Software Development”. This seminar brought together researchers from formal methods and AI. The participants addressed the issue of how AI can aid the formal software development process, including modelling and proof. There was a pleasing number of participants from industry and this made it possible...